[<A>][<B>]module M
